منابع مشابه
Interaction and observation, categorically
This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels ...
متن کاملSProc Categorically
We provide a systematic reconstruction of Abramsky's category SProc of synchronous processes Abr93]: SProc is isomorphic to a span category on a category of traces. The signiicance of the work is twofold: It shows that the original presentation of SProc in mixed formulations is unnecessary | a simple categorical description exists. Furthermore, the techniques employed in the reconstruction sugg...
متن کاملCategorically Closed Topological Groups
Let ~ C be a category whose objects are semigroups with topology and morphisms are closed semigroup relations, in particular, continuous homomorphisms. An object X of the category ~ C is called ~ C-closed if for each morphism Φ ⊂ X×Y in the category ~ C the image Φ(X) = {y ∈ Y : ∃x ∈ X (x, y) ∈ Φ} is closed in Y. In the paper we survey existing and new results on topological groups, which are ~...
متن کاملInteraction via motion observation
The main method of interacting with computers and consumer electronics has changed very little in the past 20 years. This paper describes the development of an exciting and novel Human Computer Interface (HCI) that has been developed to allow people to interact with computers in a visual manner. The system uses a standard computer web camera to watch the user and respond to movements made by th...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.59.3